- 双语例句 更多例句
语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。
互联网摘选
Linear strategy, semantic strategy and lock strategy for remainder method
余式方法中的线性策略以及语义策略和锁策略
互联网摘选
本文给出如下结果:语义归结和锁归结在某种条件下是相容的;
互联网摘选
- 相关词组
- grid lock网格锁定
- lock up将…锁住[关押];关禁闭;钤;关;
- under lock and key将…加以严密保管, 把…锁住, 被囚禁;妥善存放;
- point lock点锁
- lock block闩块;
- lock into受困于;
- lock onv.用雷达自动跟踪;
- lock out把…关在外边,不准(某人)进入…;赶出家门;
- double leg lock[体]抱单腿拦腿摔;
- dead lock[体]难解难分;
- switch lock开关锁,道岔锁闭器;
- lock away把…锁起来;
- lock in将…锁[包围]在里面;使固定;
- ball lock球形闸门;
- lock a file封锁文件;
- lock oneself inv.闭门谢客;
- combination lockn.号码锁;
- lock horns卷入矛盾冲突;争论不休;
- basin lock池形船闸;
- air lockn.阻隔室,气塞;锁气室;
- 今日热词
- 热门搜索
- shame on you 你太无耻;可耻;不要脸;你不要脸
- puppy n.小狗,幼犬;傲慢小子;自负无礼的青年;狂妄自大的小伙子,呆笨的花花公子;〈美俚〉脚;
- worldwide adj.世界各地的;adv.世界各地地;
- come v.来;来到;到达,抵达(某地);来做;来取;来拿int.(鼓励某人要有理智或通情达理,或表示不太赞同)嗨,得啦,好啦
- flood n.洪水;泛滥;溢流;探照灯;vi.涌出;为水淹没;
- 金钗十二 many concubines;Having many concubines
- two girls one cup 两个女孩一杯;两女一杯;二女一杯
- devil n.魔鬼;家伙;淘气鬼;冒失鬼;
- charles n.查尔斯(男子名,涵义:强壮的,男性的,高贵心灵的);
- novelist n.小说家;
- daisy marie 戴西·玛丽
- bear n.熊;(在证券市场等)看跌的人;v.有(某个名称);支撑;承受;显示;忍受;开(花);携带;承担责任;生育,生(孩子);转向(左或北等);举止;心怀;不适于某事(或做某事)

